unique factorization domain